纳尔逊•古德曼，著名的分析哲学家、逻辑学家、科学哲学家和美学家，现代唯名论、新实用主义的主要代表之一。著有《表象的结构》(1952)、《事实、虚构和预测》(1954)、《艺术的语言》(1968)、《构造世界的多种方式》(1978)、《心灵及其他问题》(1984)等。

纳尔逊•古德曼，著名的分析哲学家、逻辑学家、科学哲学家和美学家，现代唯名论、新实用主义的主要代表之一。著有《表象的结构》(1952)、《事实、虚构和预测》(1954)、《艺术的语言》(1968)、《构造世界的多种方式》(1978)、《心灵及其他问题》(1984)等。

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of th...(展开全部)